English Computing Dictionary
◊ DISCRETE PREORDER
discrete preorder
A {preorder} is said to be discrete if any two
of its elements are {incomparable}.
(1995-09-21)